
C:\Users\grosu\Documents\Work\Current Work\Books\PL\maude\post>maude post.maude
                     \||||||||||||||||||/
                   --- Welcome to Maude ---
                     /||||||||||||||||||\
            Maude 2.5 built: Sep  4 2010 15:54:59
            Copyright 1997-2010 SRI International
                   Fri Feb 25 11:44:32 2011
Advisory: redefining module LIST.
==========================================
search in POST : [1]:(0,1) [2]:(0,0) =>* P:Pairs [A]:(L,L) .

Solution 1 (state 0)
states: 1  rewrites: 0 in 2691405004ms cpu (0ms real) (0 rewrites/second)
P:Pairs --> [1]:(0,1)
A --> 2
L --> 0
==========================================
search in POST : [1]:(nil,0) [2]:(0,nil) =>* P:Pairs [A]:(L,L) .

Solution 1 (state 1)
states: 2  rewrites: 1 in 2691405004ms cpu (1ms real) (0 rewrites/second)
P:Pairs --> [1]:(nil,0) [2]:(0,nil)
A --> 1 2
L --> 0
==========================================
search in POST : [1]:(1 0,1) [2]:(1,0 1) =>* P:Pairs [A]:(L,L) .

Solution 1 (state 1)
states: 2  rewrites: 1 in 2691405004ms cpu (2ms real) (0 rewrites/second)
P:Pairs --> [1]:(1 0,1) [2]:(1,0 1)
A --> 1 2
L --> 1 0 1
==========================================
search in POST : ([2]:(0 1,0 0) [3]:(1 1 0,1 1)) [1]:(0,1 0 0) =>* P:Pairs [A]:(L,L) .

Solution 1 (state 570)
states: 571  rewrites: 827 in 2691405004ms cpu (20ms real) (0 rewrites/second)
P:Pairs --> [1]:(0,1 0 0) [2]:(0 1,0 0) [3]:(1 1 0,1 1) [2 3]:(0 1 1 1 0,0 0 1 1) [3 2 3]:(1 1 0 0 1 1 1 0,1 1 0 0 1 1)
A --> 3 2 3 1
L --> 1 1 0 0 1 1 1 0 0
Bye.

C:\Users\grosu\Documents\Work\Current Work\Books\PL\maude\post>